501. Variation Principle in Informational Macrodynamics
پدیدآورنده: by Vladimir S. Lerner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer science.,Electronic data processing.,Information theory.,Systems theory.
502. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
503. Visual reasoning with diagrams
پدیدآورنده: Amirouch Moktefi, Sun-Joo Shin, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic diagrams,Philosophy,Reasoning
رده :
BC199
.
A26
.
M384
2013
504. Visual representations and interpretations
پدیدآورنده: Ray Paton and Irene Neilson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Virtual reality.,Visualization.
رده :
T385
.
R397
1999
505. Web and wireless geographical information systems :
پدیدآورنده: Miguel R. Luaces, Farid Karimipour (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
506. Who will do the science of the future? :
پدیدآورنده: National Academy of Sciences, Committee on Women in Science and Engineering, Office of Scientific and Engineering Personnel, National Research Council.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Women in science, Congresses.,Women scientists-- Vocational guidance, Congresses.,Women scientists, Congresses.,Science.,Women.,SCIENCE-- Essays.,SCIENCE-- Nanoscience.,SCIENCE-- Reference.,Women in science.,Women scientists-- Vocational guidance.,Women scientists.
رده :
Q130
.
W48
2000eb
507. eng 0
پدیدآورنده: edited by Sharon Macdonald.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
509. pt. I. Perspective : legislative role of the judge and human rights law. Legislative role of the judge : a vital force in the life of the law ; Relationship between human rights and international law : principle of human dignity versus principle of state sovereignty -- pt. II. The development of human rights law by the International Court of Justice : contentious cases. Corfu Channel case (United Kingdom v Albania) (1947-1949) ; South West Africa cases (Ethiopia v South Africa ; Liberia v South Africa) : violation of human rights law led to formation of human rights law (1960-1966) ; Barcelona Traction, Light and Power Company, Limited (new application : 1962) case (Belgium v Spain) (1962-70) ; United States diplomatic and consular staff in Tehran case (USA v Iran) (1979-1981) ; Military and paramilitary activities in and against Nicaragua case (Nicaragua v USA) (1984-1991) ; East Timor case (Portugal v Australia) (1991-1994): human rights versus state sovereignty (1991-1994) ; Application of the Convention on the Prevention and Punishment of the Crime of Genocide case (Bosnia and Herzegovia v Serbia Montenegro) (1993- ) : prohibition of genocide as jus cogens ; Legality of use of force cases (Yugoslavia v Belgium; Yugoslavia v Canada; Yugoslavia v France ; Yugoslavia v Germant ; Yugoslavia v Italy ; Yugoslavia v Netherlands ; Yugoslavia v Portugal ; Yugoslavia v Spain ; Yugoslavia v UK ; Yugoslavia v USA) (1999- ) ; Arrest warrant of 11 April 2000 (Democratic Republic of the Congo v Belgium) : an analysis of human dignity of the people, for the people, by the people (2000-2002) ; Vienna Convention on Consular Relations cases (1998-2004) : the Convention does create individual rights -- pt. III. The development of human rights law by the International Court of Justice : advisory cases. International status of South West Africa case (1949-1950) : the principle of sacred trust of civilization ; Reservations to the Convention on the Prevention and Punishment of the Crime of Genocide case (1950-1951) ; Legal consequences for states of the continued presence of
پدیدآورنده: Shiv R.S. Bedi.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
511. xxvii, 666, [42] p. :
پدیدآورنده: Michael R. Czinkota, Ilkka A. Ronkainen.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
